Section: New Software and Platforms

The PMC Partial Model Checker

Participants : Radu Mateescu, Frédéric Lang.

We develop a tool named PMC (Partial Model Checker, see §  6.4 ), which performs the compositional model checking of dataless MCL formulas on networks of communicating automata described in the EXP language.

PMC can be freely downloaded from the CONVECS Web site  (http://convecs.inria.fr/software/pmc ).